symmetric but not transitive